4 research outputs found
On the Size Complexity of Non-Returning Context-Free PC Grammar Systems
Improving the previously known best bound, we show that any recursively
enumerable language can be generated with a non-returning parallel
communicating (PC) grammar system having six context-free components. We also
present a non-returning universal PC grammar system generating unary languages,
that is, a system where not only the number of components, but also the number
of productions and the number of nonterminals are limited by certain constants,
and these size parameters do not depend on the generated language
Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement
Recently, it has been shown that every recursively enumerable language can be
generated by a scattered context grammar with no more than three nonterminals.
However, in that construction, the maximal number of nonterminals
simultaneously rewritten during a derivation step depends on many factors, such
as the cardinality of the alphabet of the generated language and the structure
of the generated language itself. This paper improves the result by showing
that the maximal number of nonterminals simultaneously rewritten during any
derivation step can be limited by a small constant regardless of other factors
PCGSs Without a Master
Two new derivation modes are introduced for parallel communicating grammar systems (PCGSs). One of them is called competitive, the other is called popular, they both eliminate the hierarchy among the component grammars. The generative power of parallel communicating grammar systems working in these new modes is investigated, with different types of grammars and extended Lindenmayer systems as components